Nuprl Definition : true 11,40

True == 0   
latex


DefinitionsTrue, t  T
FDL editor aliasestrue

origin